type T = S<true>;
